Logical foundation approach to users' domain restriction in data bases
نویسندگان
چکیده
منابع مشابه
A New Approach to Continuous Riesz Bases
This paper deals with continuous frames and continuous Riesz bases. We introduce continuous Riesz bases and give some equivalent conditions for a continuous frame to be a continuous Riesz basis. It is certainly possible for a continuous frame to have only one dual. Such a continuous frame is called a Riesz-type frame [13]. We show that a continuous frame is Riesz-type if and only if it is a con...
متن کاملA Logical Approach to Data-Driven Classification
We present a flexible approach for extracting hierarchical classifications from data, which employs the logic of affirmative assertions. The basic observation is that each set of rules induced by the data canonically determines a classificational hierarchy. We give a characterization of how the chosen rule type affects the structure of the induced hierarchy. Moreover, we show how our approach i...
متن کاملA Logical Approach to Fuzzy Data Analysis
In this paper, we investigate the extraction of fuzzy rules from data tables based on possibility theory. A possibilistic decision language is used to represent the extracted fuzzy rules. The algorithm for rule extraction is presented and the complexity analysis is carried out. Since the results of the rule induction process strongly depend on the representation language, we also discuss some a...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولReassessing JML’s Logical Foundation
Early in the design of the Java Modeling Language (JML) care was taken in the choice of its logical foundation to ensure that JML could accommodate run-time assertion checking, static analysis and formal verification. At the time, classical two-valued logic was adopted. Since then however, we note that the main JML tools have actually implemented differing semantics, by design. In this paper, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1988
ISSN: 0304-3975
DOI: 10.1016/0304-3975(88)90006-0